Knowledge has been a subject of philosophical study since ancient times. This is not surprising since knowledge is crucial for humans to control their actions and the appetite for acquiring it seems innate to the human race. Philosophy, therefore, has always occupied itself with the question as to the nature of knowledge. This area of philosophy is generally referred to as epistemology from the Greek word for knowledge: episteme. Plato defined knowledge as “justified true belief,” and this definition has influenced (...) philosophers ever since; cf. Gettier and Pollock. Although sensible, this definition does not yet explain the nature of knowledge, since all of the three notions of ‘justification’, ‘truth’, and ‘belief’ are not yet clear and still subject to discussion. It would go beyond the scope of our purposes here to go into this at this moment, but it is touched on later in this chapter. (shrink)

We present a solution to the paradox of free choice permission by introducing strong and weak permission in a deontic logic of action. It is shown how counterintuitive consequences of strong permission can be avoided by limiting the contexts in which an action can be performed. This is done by introducing the only operator, which allows us to say that only is performed (and nothing else), and by introducing contextual interpretation of action terms.

In this paper a formal framework is proposed in which variousinformative actions are combined, corresponding to the different ways in whichrational agents can acquire information. In order to solve the variousconflicts that could possibly occur when acquiring information fromdifferent sources, we propose a classification of the informationthat an agent possesses according to credibility. Based on this classification, we formalize what itmeans for agents to have seen or heard something, or to believesomething by default. We present a formalization of observations,communication actions, (...) and the attempted jumps to conclusions thatconstitutes default reasoning. To implement these informative actionswe use a general belief revision action which satisfies theAGM postulates; dependent on the credibility of the incominginformation this revision action acts on one or more parts ofthe classified belief sets of the agents. The abilities of agents formalizeboth the limited capacities of agents to acquire information, and the preference of one kind of information acquisition to another. A very important feature of our approach is that it shows how to integratevarious aspects of agency, in particular the (informational) attitudesof dealing with information from observation, communication and defaultreasoning into one coherent framework, both model-theoretically andsyntactically. (shrink)

In this paper a formal framework is proposed in which variousinformative actions are combined, corresponding to the different ways in whichrational agents can acquire information. In order to solve the variousconflicts that could possibly occur when acquiring information fromdifferent sources, we propose a classification of the informationthat an agent possesses according to credibility. Based on this classification, we formalize what itmeans for agents to have seen or heard something, or to believesomething by default. We present a formalization of observations,communication actions, (...) and the attempted jumps to conclusions thatconstitutes default reasoning. To implement these informative actionswe use a general belief revision action which satisfies theAGM postulates; dependent on the credibility of the incominginformation this revision action acts on one or more parts ofthe classified belief sets of the agents. The abilities of agents formalizeboth the limited capacities of agents to acquire information, and the preference of one kind of information acquisition to another. A very important feature of our approach is that it shows how to integratevarious aspects of agency, in particular the (informational) attitudesof dealing with information from observation, communication and defaultreasoning into one coherent framework, both model-theoretically andsyntactically. (shrink)

A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant software.

23 pages, no figure. Proceedings of "Philosophical Aspects of Modern Cosmology" held in Granada, Spain, 22-23 Sept. 2011. Studies in History and Philosophy of Modern Physics ; doi:10.1016/j.shpsb.2013.02.002.

This paper traces the development of parental rights to accept or to refuse treatment for a defective newborn infant in the United Kingdom and in the United States of America; its main purpose is to explore the common trends from which an acceptable policy may be derived. It is probable that the British law on parental decision-making in respect of infants suffering from Down's syndrome is to be found in the civil case of In Re B rather than in the (...) criminal case of R v Arthur. United States court decisions are strongly influenced by constitutional law and reflect the right to personal privacy. The position on each side of the Atlantic seems very similar but this similarity includes a sense of uncertainty as to legal responsibility. There is a case for agreed guidelines and a suggested format is offered for consideration. (shrink)

How can one conceive of the neuronal implementation of the processing model we proposed in our target article? In his commentary (Pulvermüller 1999, reprinted here in this issue), Pulvermüller makes various proposals concerning the underlying neural mechanisms and their potential localizations in the brain. These proposals demonstrate the compatibility of our processing model and current neuroscience. We add further evidence on details of localization based on a recent meta-analysis of neuroimaging studies of word production (Indefrey & Levelt 2000). We also (...) express some minor disagreements with respect to Pulvermüller's interpretation of the “lemma” notion, and concerning his neural modeling of phonological code retrieval. Branigan & Pickering discuss important aspects of syntactic encoding, which was not the topic of the target article. We discuss their well-taken proposal that multiple syntactic frames for a single verb lemma are represented as independent nodes, which can be shared with other verbs, such as accounting for syntactic priming in speech production. We also discuss how, in principle, the alternative multiple-frame-multiple-lemma account can be tested empirically. The available evidence does not seem to support that account. Footnotes1 BBS Note: The original manuscript of this Response article was received on January 14, 2000. (shrink)

This paper describes the Electronic Schoolbag, a digital workspace developed at the University of Savoie (France) and analyses its usages. This online environment is dedicated to the educational world: it offers pupils, students, teachers, school staff, or parents, personal and group workspaces in which individual or collaborative activities can take place. The flexibility of this software, allowing synchronous or asynchronous activities, lies in the “participation model”. This model allows groups themselves to describe and organise their activities. The architecture that permits (...) its implementation in the Electronic Schoolbag workspace is described. The study of the practices of the workspace is then presented. This requires different observation methods, according to the different procedures chosen: real practices provided by quantitative methods (analysis of the logs of the actions and questionnaires) and imagined practices provided by qualitative methods (semi-directive interviews). The results obtained from the university users allow us to assess the evolution of the usages for different periods and on different university sites. The observatory also lets us list the main uses of the Electronic Schoolbag for educative communication (collaborative vs. individual, informative vs. communicative). (shrink)

Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science, and as a means of reasoning about the knowledge and belief of agents. This book provides a broad introduction to the subject, along with many exercises and their solutions. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. Then they turn to applications in the context of distributed systems and (...) artificial intelligence. These include the notions of common knowledge, distributed knowledge, explicit and implicit belief, the interplays between knowledge and time, and knowledge and action, as well as a graded (or numerical) variant of the epistemic operators. The authors also discuss extensively the problem of logical omniscience. They cover Halpern & Moses' theory of honest formulas, and they make a digression into the realm of nonmonotonic reasoning and preferential entailment. They discuss Moore's autoepistemic logic, together with Levesque's related logic of "all I know". Furthermore, they show how one can base default and counterfactual reasoning on epistemic logic. Graduate students in philosophy or in computer science, especially those with an interest in AI, will find this book useful. (shrink)

In this consensus report by a diverse group of academics who conduct and/or are concerned about social and behavioral genomics (SBG) research, the authors recount the often‐ugly history of scientific attempts to understand the genetic contributions to human behaviors and social outcomes. They then describe what the current science—including genomewide association studies and polygenic indexes—can and cannot tell us, as well as its risks and potential benefits. They conclude with a discussion of responsible behavior in the context of SBG research. (...) SBG research that compares individuals within a group according to a “sensitive” phenotype requires extra attention to responsible conduct and to responsible communication about the research and its findings. SBG research (1) on sensitive phenotypes that (2) compares two or more groups defined by (a) race, (b) ethnicity, or (c) genetic ancestry (where genetic ancestry could easily be misunderstood as race or ethnicity) requires a compelling justification to be conducted, funded, or published. All authors agree that this justification at least requires a convincing argument that a study's design could yield scientifically valid results; some authors would additionally require the study to have a socially favorable risk‐benefit profile. (shrink)

Can one coherently integrate Darwin's view of evolution with an affirmation of the value of existence? In this fresh, lean, and substantive volume, William Meyer addresses this important question. By carefully analyzing Darwin's own writings and by drawing on the philosophical perspectives of William James, Alfred North Whitehead, and others, Meyer persuasively redirects the cultural conversation about Darwin away from the retrospective question of origins toward the prospective question concerning the ultimate significance of evolutionary life. As James recognized, (...) the question about the reality of God is more critical for the forward-looking question of value than it is for the backward-looking question of origins. Darwin was a theist in search of a better theism, and because theology had not yet caught up to him, he became increasingly agnostic and caught between his mechanistic understanding of nature, on the one hand, and his affirmation of the value and beauty of the world, on the other. Whitehead's philosophy of organism offers a way to integrate Darwin's evolutionary insights with his affirmation of the grandeur of nature. Meyer's clearly written and richly argued book enables us to integrate our evolutionary understanding of the world with our experience of value within it. (shrink)

Certain species of fish have recently become important model systems in comparative genomics and in developmental biology, in certain instances because of their small genome sizes (e.g., in the pufferfish) and, in other cases, because of the opportunity they provide to combine an easily accessible and experimentally manipulable embryology with the power of genetic approaches (e.g., in the zebrafish). The resulting accumulation of genomic information indicates that, surprisingly, many gene families of fish consist of more members than in mammals. Most (...) modern fish, including the zebrafish and medakka, are diploid organisms; however, the greater number of genes in fish was possibly caused by additional ancient genome duplications which happened in the lineage leading to modern ray-finned fishes but not along the lineage leading to tetrapods. Since these two lineages shared their last common ancestor (in the Devonian about 360 million years ago) individual duplicated members of gene families were later lost in fish. Interestingly, comparative data indicate that, in some cases, genes in mammals even serve somewhat different functions than their homologues in fish, highlighting that the degree of evolutionary relatedness of genes is not always a reliable predictor of their evolutionary conservation and their similarity of function. Since fish are phenotypically probably not more complex than mammals, it is possible that evolution took alternative paths to the “economics of genomics” through alternative solutions to gene regulation. It is suggested that the more complex genomic architecture of fish permitted them to adapt and speciate quickly in response to changing selective regimes. BioEssays 20:511–515, 1998. © 1998 John Wiley & Sons, Inc. (shrink)

A 'Kripke-style' semantics is given for combinatory logic using frames with a ternary accessibility relation, much as in the Tourley-Meyer semantics for relevance logic. We prove by algebraic means a completeness theorem for combinatory logic, by proving a representation theorem for 'combinatory posets.' A philosophical interpretation is given of the models, showing that an element of a combinatory poset can be understood simultaneously as a set of states and as a set of actions on states. This double interpretation allows (...) for one such element to be applied to another . Application turns out to be modeled the same way as 'fusion' in relevance logic.We also introduce 'dual combinators' that apply from the right. We then explore relationships to some well-known substructural logics, showing that each can be embedded into the structurally free. non-associative Lambek calculus, with the embedding taking a theorem ω to a statement of the form Γ ⊨ ω, where Γ is some fusion of the combinators needed to justify the structural assumptions of the given substructural logic. This builds on earlier ideas from Belnap and Meyer about a Gentzen system wherein structural rules are replaced with rules for introducing combinators. We develop such a system and prove a cut theorem. (shrink)

In the 1970s, feminist biblical scholars began to conduct research on the biblical traditions of wisdom and the manifestation of female images of God, named Sophialogy. There are different focus areas within Sophialogy, but the formulation of Wisdom/Sophia goals for liberation and equality was inter alia the focus area of feminist biblical interpretation. According to this approach, Jesus as the prophetic messenger of Wisdom/Sophia activates the Sophia tradition through his works or deeds of compassion for the poor, the outcasts, and (...) all those suffering from injustice. Women in Africa interpret these deeds as communal 'wise living' and the custodians of justice. This culminates in a motherhood agenda, namely, making peace for life; ensuring mutual respect, honour and care for life; looking for fairness; reciprocity; wholeness and inclusiveness. The aim of this paper is to discuss mutual-mothering in the African context as an ethos for living wisely and justly. Having instincts to care and to protect are not exclusively female attributes, but include also males. (shrink)

The phenomenon of the stranger reveals that spatial relations are, on the one hand, only the condition and, on the other hand, the symbol of human relations. This article discusses the specific form of interaction of the wife as a stranger in the context of the biblical family. The wife as a stranger is discussed here not in the sense often touched upon in the past, as a wanderer who comes today and goes tomorrow, but rather as a person who (...) comes today and stays tomorrow. She is, so to speak, the potential wanderer: although she has not moved on, she has also not overcome the freedom of coming and going. She is fixed within a particular spatial group, or within a group whose boundaries are similar to spatial boundaries, but her position in this group is determined by the fact that she never belonged to it from the beginning. The unity of nearness and remoteness involved in every human relation is organised, in the phenomenon of the stranger, in a way which may be most briefly formulated by saying that in her relationships, distance means that she, who is close by, is also far away, and her strangeness means that she, who is far away, is also actually near. I examined the implications of knowing and identifying the wife as a stranger for feminist theory and its interpretation. (shrink)